Detailed conclusion table per each integral is given by table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given just an F.
In this table,the column N.S. in the table below, which stands for normalized size is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To help make the table fit, Mathematica was abbreviated to MMA.
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 186 | 186 | 3011 | 679 | 0 | 292 | 0 | 0 | 260 |
N.S. |
1 | 1.00 | 16.19 | 3.65 | 0.00 | 1.57 | 0.00 | 0.00 | 1.40 |
time (sec) |
N/A | 0.387 | 7.540 | 0.196 | 0.000 | 1.082 | 0.000 | 0.000 | 5.929 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-2) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 180 | 180 | 2779 | 1303 | 0 | 292 | 0 | 0 | 268 |
N.S. |
1 | 1.00 | 15.44 | 7.24 | 0.00 | 1.62 | 0.00 | 0.00 | 1.49 |
time (sec) |
N/A | 0.382 | 7.627 | 0.289 | 0.000 | 1.422 | 0.000 | 0.000 | 6.501 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 201 | 201 | 3017 | 973 | 0 | 319 | 0 | 0 | 310 |
N.S. | 1 | 1.00 | 15.01 | 4.84 | 0.00 | 1.59 | 0.00 | 0.00 | 1.54 |
time (sec) |
N/A | 0.401 | 7.716 | 0.385 | 0.000 | 1.363 | 0.000 | 0.000 | 7.542 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | C | F | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 249 | 249 | 218 | 920 | 0 | 357 | 0 | 0 | 343 |
N.S. | 1 | 1.00 | 0.88 | 3.69 | 0.00 | 1.43 | 0.00 | 0.00 | 1.38 |
time (sec) |
N/A | 0.426 | 4.781 | 0.455 | 0.000 | 0.932 | 0.000 | 0.000 | 8.046 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 361 | 361 | 286 | 1082 | 0 | 429 | 0 | 0 | 514 |
N.S. |
1 | 1.00 | 0.79 | 3.00 | 0.00 | 1.19 | 0.00 | 0.00 | 1.42 |
time (sec) |
N/A | 0.645 | 2.130 | 0.187 | 0.000 | 1.491 | 0.000 | 0.000 | 6.203 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 296 | 296 | 3237 | 975 | 0 | 376 | 0 | 0 | 452 |
N.S. |
1 | 1.00 | 10.94 | 3.29 | 0.00 | 1.27 | 0.00 | 0.00 | 1.53 |
time (sec) |
N/A | 0.621 | 7.368 | 0.168 | 0.000 | 1.528 | 0.000 | 0.000 | 6.096 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 277 | 277 | 3915 | 1278 | 0 | 378 | 0 | 0 | 398 |
N.S. |
1 | 1.00 | 14.13 | 4.61 | 0.00 | 1.36 | 0.00 | 0.00 | 1.44 |
time (sec) |
N/A | 0.622 | 8.132 | 0.226 | 0.000 | 1.764 | 0.000 | 0.000 | 6.089 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 267 | 267 | 3868 | 1837 | 0 | 369 | 0 | 0 | 379 |
N.S. |
1 | 1.00 | 14.49 | 6.88 | 0.00 | 1.38 | 0.00 | 0.00 | 1.42 |
time (sec) |
N/A | 0.598 | 8.431 | 0.369 | 0.000 | 0.698 | 0.000 | 0.000 | 7.237 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 274 | 274 | 3871 | 1392 | 0 | 382 | 0 | 0 | 414 |
N.S. |
1 | 1.00 | 14.13 | 5.08 | 0.00 | 1.39 | 0.00 | 0.00 | 1.51 |
time (sec) |
N/A | 0.596 | 8.517 | 0.418 | 0.000 | 1.152 | 0.000 | 0.000 | 8.675 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 294 | 294 | 3933 | 1178 | 0 | 415 | 0 | 0 | 442 |
N.S. |
1 | 1.00 | 13.38 | 4.01 | 0.00 | 1.41 | 0.00 | 0.00 | 1.50 |
time (sec) |
N/A | 0.613 | 8.638 | 0.497 | 0.000 | 0.640 | 0.000 | 0.000 | 10.660 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 357 | 357 | 3345 | 1265 | 0 | 467 | 0 | 0 | 463 |
N.S. |
1 | 1.00 | 9.37 | 3.54 | 0.00 | 1.31 | 0.00 | 0.00 | 1.30 |
time (sec) |
N/A | 0.656 | 8.446 | 0.671 | 0.000 | 1.656 | 0.000 | 0.000 | 10.700 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 404 | 404 | 320 | 1273 | 0 | 487 | 0 | 0 | 600 |
N.S. |
1 | 1.00 | 0.79 | 3.15 | 0.00 | 1.21 | 0.00 | 0.00 | 1.49 |
time (sec) |
N/A | 0.903 | 2.641 | 0.185 | 0.000 | 1.460 | 0.000 | 0.000 | 6.807 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 377 | 377 | 4114 | 1652 | 0 | 474 | 0 | 0 | 547 |
N.S. |
1 | 1.00 | 10.91 | 4.38 | 0.00 | 1.26 | 0.00 | 0.00 | 1.45 |
time (sec) |
N/A | 0.887 | 8.542 | 0.265 | 0.000 | 1.369 | 0.000 | 0.000 | 6.495 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 371 | 371 | 4776 | 2507 | 0 | 455 | 0 | 0 | 516 |
N.S. |
1 | 1.00 | 12.87 | 6.76 | 0.00 | 1.23 | 0.00 | 0.00 | 1.39 |
time (sec) |
N/A | 0.871 | 9.200 | 0.436 | 0.000 | 1.570 | 0.000 | 0.000 | 6.889 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 388 | 388 | 4960 | 1857 | 0 | 455 | 0 | 0 | 524 |
N.S. |
1 | 1.00 | 12.78 | 4.79 | 0.00 | 1.17 | 0.00 | 0.00 | 1.35 |
time (sec) |
N/A | 0.884 | 9.400 | 0.550 | 0.000 | 0.888 | 0.000 | 0.000 | 9.998 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 384 | 384 | 4791 | 1597 | 0 | 478 | 0 | 0 | 559 |
N.S. |
1 | 1.00 | 12.48 | 4.16 | 0.00 | 1.24 | 0.00 | 0.00 | 1.46 |
time (sec) |
N/A | 0.891 | 9.587 | 0.563 | 0.000 | 1.660 | 0.000 | 0.000 | 12.768 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-2) | F | B |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 401 | 401 | 4150 | 1523 | 0 | 525 | 0 | 0 | 866 |
N.S. |
1 | 1.00 | 10.35 | 3.80 | 0.00 | 1.31 | 0.00 | 0.00 | 2.16 |
time (sec) |
N/A | 0.903 | 9.174 | 0.823 | 0.000 | 0.683 | 0.000 | 0.000 | 14.868 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 209 | 209 | 271 | 801 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.30 | 3.83 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.654 | 12.463 | 0.234 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | F | F(-2) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 147 | 147 | 215 | 981 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.46 | 6.67 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.446 | 11.398 | 0.183 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | F | A | F | F | F | F | F |
verified |
N/A | Yes | N/A | TBD | TBD | TBD | TBD | TBD | TBD |
size | 97 | 97 | 0 | 323 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 0.00 | 3.33 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.264 | 50.332 | 0.145 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 118 | 118 | 210 | 382 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.78 | 3.24 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.390 | 12.896 | 0.196 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | A | F(-1) | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 158 | 158 | 266 | 445 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.68 | 2.82 | 0.00 | 0.00 | 0.00 | 0.00 | -0.01 |
time (sec) |
N/A | 0.615 | 12.536 | 0.322 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 236 | 236 | 332 | 773 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.41 | 3.28 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.861 | 14.845 | 0.487 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 346 | 346 | 337 | 1123 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 0.97 | 3.25 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.842 | 13.929 | 0.389 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 257 | 257 | 299 | 856 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.16 | 3.33 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.563 | 13.311 | 0.316 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 239 | 239 | 298 | 809 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.25 | 3.38 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.540 | 14.342 | 0.300 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 307 | 307 | 337 | 870 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.10 | 2.83 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.755 | 15.485 | 0.362 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 387 | 387 | 472 | 1004 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.22 | 2.59 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.029 | 17.316 | 0.662 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 538 | 538 | 602 | 2289 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.12 | 4.25 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.411 | 17.576 | 0.783 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 426 | 426 | 437 | 2022 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.03 | 4.75 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.982 | 16.896 | 0.671 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 423 | 423 | 424 | 1972 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.00 | 4.66 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.947 | 16.368 | 0.625 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | Yes | TBD | TBD | TBD | TBD | TBD | TBD |
size | 409 | 409 | 440 | 1879 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.08 | 4.59 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.931 | 16.942 | 0.643 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | A | B | F(-1) | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 496 | 496 | 592 | 2022 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.19 | 4.08 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.305 | 17.436 | 0.812 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 457 | 457 | 3595 | 4075 | 0 | 714 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 7.87 | 8.92 | 0.00 | 1.56 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.215 | 24.754 | 0.948 | 0.000 | 1.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 360 | 360 | 3071 | 2829 | 0 | 620 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 8.53 | 7.86 | 0.00 | 1.72 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.873 | 22.965 | 0.404 | 0.000 | 1.042 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 273 | 273 | 404 | 1966 | 0 | 529 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.48 | 7.20 | 0.00 | 1.94 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.653 | 17.710 | 0.286 | 0.000 | 0.690 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 277 | 277 | 43023 | 3720 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 155.32 | 13.43 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.715 | 33.796 | 0.245 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 258 | 258 | 64644 | 3418 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 250.56 | 13.25 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.637 | 32.909 | 0.267 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 346 | 346 | 100266 | 3188 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 289.79 | 9.21 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.909 | 33.761 | 0.256 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 447 | 447 | 131249 | 2548 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 293.62 | 5.70 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.198 | 34.649 | 0.362 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 455 | 455 | 3703 | 4075 | 0 | 716 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 8.14 | 8.96 | 0.00 | 1.57 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.299 | 24.613 | 0.611 | 0.000 | 0.897 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 359 | 359 | 3261 | 2911 | 0 | 621 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 9.08 | 8.11 | 0.00 | 1.73 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.945 | 23.077 | 0.392 | 0.000 | 0.866 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 356 | 356 | 56321 | 2220 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 158.21 | 6.24 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.938 | 35.318 | 0.296 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 340 | 340 | 79958 | 1865 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 235.17 | 5.49 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.940 | 33.813 | 0.273 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 353 | 353 | 120732 | 2099 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 342.02 | 5.95 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.895 | 34.778 | 0.270 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 446 | 446 | 132839 | 2725 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 297.85 | 6.11 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.227 | 34.782 | 0.352 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 551 | 551 | 179293 | 3943 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 325.40 | 7.16 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.601 | 36.366 | 0.497 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 565 | 565 | 4170 | 5307 | 0 | 827 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 7.38 | 9.39 | 0.00 | 1.46 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.681 | 25.757 | 0.967 | 0.000 | 1.426 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 452 | 452 | 3785 | 4157 | 0 | 715 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 8.37 | 9.20 | 0.00 | 1.58 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.296 | 24.791 | 0.569 | 0.000 | 1.208 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 441 | 441 | 64878 | 3164 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 147.12 | 7.17 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.229 | 35.522 | 0.425 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 419 | 419 | 86542 | 2893 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 206.54 | 6.90 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.225 | 35.017 | 0.392 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 427 | 427 | 129353 | 2792 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 302.93 | 6.54 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.253 | 35.815 | 0.377 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 453 | 453 | 157926 | 3162 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 348.62 | 6.98 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.270 | 36.669 | 0.388 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 550 | 550 | 180789 | 4031 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 328.71 | 7.33 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.613 | 36.854 | 0.511 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 674 | 674 | 211844 | 5292 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 314.31 | 7.85 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 2.036 | 37.827 | 1.136 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 380 | 380 | 492 | 2829 | 0 | 621 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.29 | 7.44 | 0.00 | 1.63 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.899 | 19.934 | 0.448 | 0.000 | 1.720 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 291 | 291 | 417 | 1885 | 0 | 534 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.43 | 6.48 | 0.00 | 1.84 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.647 | 18.085 | 0.283 | 0.000 | 1.046 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 216 | 216 | 359 | 2778 | 0 | 460 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.66 | 12.86 | 0.00 | 2.13 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.448 | 11.268 | 0.230 | 0.000 | 1.141 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 219 | 219 | 36160 | 1374 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 165.11 | 6.27 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.503 | 34.482 | 0.286 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 260 | 260 | 52620 | 773 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 202.38 | 2.97 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.638 | 32.717 | 0.223 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 350 | 350 | 98830 | 1873 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 282.37 | 5.35 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.875 | 33.969 | 0.253 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 208 | 208 | 25325 | 1567 | 0 | 0 | 0 | 0 | -1 |
N.S. | 1 | 1.00 | 121.75 | 7.53 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.598 | 6.295 | 0.211 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 461 | 461 | 3870 | 2418 | 0 | 1030 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 8.39 | 5.25 | 0.00 | 2.23 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.060 | 25.169 | 0.345 | 0.000 | 1.114 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 350 | 350 | 3283 | 1518 | 0 | 872 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 9.38 | 4.34 | 0.00 | 2.49 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.758 | 23.489 | 0.266 | 0.000 | 1.084 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 249 | 249 | 517 | 966 | 0 | 738 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 2.08 | 3.88 | 0.00 | 2.96 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.523 | 17.843 | 0.240 | 0.000 | 0.492 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F(-1) | F | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 311 | 311 | 63246 | 950 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 203.36 | 3.05 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.787 | 35.503 | 0.237 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F(-1) | F(-1) | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 393 | 393 | 111509 | 1503 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 283.74 | 3.82 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.024 | 35.277 | 0.256 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 663 | 663 | 4917 | 6912 | 0 | 1793 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 7.42 | 10.43 | 0.00 | 2.70 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.682 | 28.349 | 0.642 | 0.000 | 4.059 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 521 | 521 | 4327 | 5097 | 0 | 1553 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 8.31 | 9.78 | 0.00 | 2.98 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.227 | 26.129 | 0.494 | 0.000 | 2.573 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F(-1) | C | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 401 | 401 | 3834 | 3773 | 0 | 1323 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 9.56 | 9.41 | 0.00 | 3.30 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.824 | 22.203 | 0.422 | 0.000 | 3.794 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | B | F | C | F(-2) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 378 | 378 | 539 | 2767 | 0 | 1202 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 1.43 | 7.32 | 0.00 | 3.18 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 0.844 | 15.285 | 0.392 | 0.000 | 1.679 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 447 | 447 | 119861 | 3739 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 268.15 | 8.36 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.130 | 34.891 | 0.410 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
A | A | C | C | F | F(-1) | F(-1) | F | F |
verified |
N/A | Yes | NO | TBD | TBD | TBD | TBD | TBD | TBD |
size | 563 | 563 | 215866 | 5561 | 0 | 0 | 0 | 0 | -1 |
N.S. |
1 | 1.00 | 383.42 | 9.88 | 0.00 | 0.00 | 0.00 | 0.00 | -0.00 |
time (sec) |
N/A | 1.470 | 35.702 | 0.471 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |